Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🌲 B-tree Variants
B+ Trees, LSM Trees, Database Indexing, Storage Optimization
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
19444
posts in
222.7
ms
Reducing
the Costs of Proof Synthesis on Rust Systems by Scaling Up a
Seed
Training Set
arxiv.org
·
1d
🦀
Rust Verification
The Tree Interface: Where
Pages
Become Structure in
SQLite
dev.to
·
20h
·
Discuss:
DEV
🗄️
SQLite Internals
10-Part Series on
Breadth-First
Traversals
in Haskell
doisinkidney.com
·
1d
·
Discuss:
Hacker News
🔗
Functional Compilers
Lessons from
BF-Tree
: Building a
Concurrent
Larger-Than-Memory Index in Rust
zhihanz.github.io
·
2d
·
Discuss:
Hacker News
🗃️
Database Storage
⚖️ Beginner-Friendly Guide 'Minimum
Removals
to Balance
Array
' - Problem 3634 (C++, Python, JavaScript)
dev.to
·
1d
·
Discuss:
DEV
📐
Error Bounds
Build a
Compiler
in Five Projects
kmicinski.com
·
4h
🔨
Compilers
[$]
Modernizing
swapping
: the end of the swap map
lwn.net
·
1d
🔗
Topological Sorting
mstrYoda/goraphdb
: A graph database implemented in Golang
github.com
·
19h
·
Discuss:
r/programming
🕸️
Neo4j
FreeBSD
audio
diagnostics
and optimization
discoverbsd.com
·
2d
🔌
Operating system internals
KV-CoRE: Benchmarking Data-Dependent Low-Rank
Compressibility
of
KV-Caches
in LLMs
arxiv.org
·
1d
⚡
Cache Theory
Synthesizing
scientific
literature
with retrieval-augmented language models
nature.com
·
1d
🔍
Information Retrieval
AIStor
Tables: Native Iceberg V3 for
On-Premises
Object Storage
blog.min.io
·
3d
🏺
Database Archaeology
Sampling the
Oxford
CS
Library
blog.computationalcomplexity.org
·
3d
·
Discuss:
blog.computationalcomplexity.org
⛏️
Proof Mining
stdlib
v7.2
erlang.org
·
1d
·
Discuss:
Hacker News
🦀
Rusty Databases
When cost models hit the wall
clock
futhark-lang.org
·
3d
📼
Tape Combinators
Merkle
trees and build systems with
OSTree
and ninja
lwn.net
·
1d
·
Discuss:
Hacker News
🌳
Git Internals
Open source
USearch
library
jumpstarts
ScyllaDB vector search
thenewstack.io
·
1d
🗂️
Vector Search
News for January 2026
ptreview.sublinear.info
·
1d
📐
Linear Algebra
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically
Raft
, using Lean 4 and
dependen
...
freederia.com
·
22h
🤝
Consensus Protocols
Examining
Turbopuffer
ANN v3
terencezl.github.io
·
1d
·
Discuss:
Hacker News
⚡
Compression Hardware
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help